#!/bin/bash

runhaskell leader.hs \
	| perl leader-mogrify.pl \
	| tee /dev/tty > leader.bdd \
&& bddsolve -s 1 leader.bdd \
	| tee /dev/tty \
	| perl leader-vis.pl
